Either a b -> a